Loulergue, Frederic : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (47)
Les plus populaires
Liste
- Liste
- Tableau

1

Concrete data structures and functional parallel programming

Gaétan Hains, Frédéric Loulergue, John Mullins

Journal:

Theoretical Computer Science

Année:

2001

Langue:

english

Fichier:

PDF, 236 KB

english, 2001

2

PREFACE: Special Issue on High-Level Parallel Programming and Applications

Hains, Gaétan, Loulergue, Frédéric

Journal:

Parallel Processing Letters

Année:

2003

Langue:

english

Fichier:

PDF, 1.75 MB

english, 2003

3

A FUNCTIONAL LANGUAGE FOR DEPARTMENTAL METACOMPUTING

GAVA, FRÉDÉRIC, LOULERGUE, FRÉDÉRIC

Journal:

Parallel Processing Letters

Année:

2005

Langue:

english

Fichier:

PDF, 1.66 MB

english, 2005

4

Automated Generation of BSP Automata

Tachon, Thibaut, Li, Chong, Hains, Gaétan, Loulergue, Frédéric

Journal:

Parallel Processing Letters

Année:

2017

Langue:

english

Fichier:

PDF, 245 KB

english, 2017

5

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Parallel Programming with OCaml: A Tutorial

Allombert, Victor, Bourgoin, Mathias, Loulergue, Frederic

Année:

2018

Fichier:

PDF, 8 KB

2018

6

[IEEE 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Gold Coast, Australia (2019.12.5-2019.12.7)] 2019 20th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - New List Skeletons for the Python Skeleton Library

Loulergue, Frederic, Philippe, Jolan

Année:

2019

Fichier:

PDF, 2.57 MB

2019

7

Bulk synchronous parallel ML with exceptions

Louis Gesbert, Frédéric Gava, Frédéric Loulergue, Frédéric Dabrowski

Journal:

Future Generation Computer Systems

Année:

2010

Langue:

english

Fichier:

PDF, 1.89 MB

english, 2010

8

Introduction to the special issue on semantics and costs models for high-level parallel programming

Frédéric Loulergue

Journal:

Computer Languages, Systems & Structures

Année:

2007

Langue:

english

Fichier:

PDF, 117 KB

english, 2007

9

A Verified Bulk Synchronous Parallel ML Heat Diffusion Simulation

Julien Tesson, Frédéric Loulergue

Journal:

Procedia Computer Science

Année:

2011

Langue:

english

Fichier:

PDF, 187 KB

english, 2011

10

A calculus of functional BSP programs

Frédéric Loulergue, Gaétan Hains, Christian Foisy

Journal:

Science of Computer Programming

Année:

2000

Langue:

english

Fichier:

PDF, 267 KB

english, 2000

11

[IEEE 2012 International Conference on High Performance Computing & Simulation (HPCS) - Madrid, Spain (2012.07.2-2012.07.6)] 2012 International Conference on High Performance Computing & Simulation (HPCS) - Towards verified cloud computing environments

Loulergue, Frederic, Gava, Frederic, Kosmatov, Nikolai, Lemerre, Matthieu

Année:

2012

Langue:

english

Fichier:

PDF, 371 KB

english, 2012

12

OSL: An Algorithmic Skeleton Library with Exceptions

Legaux, Joeffrey, Loulergue, Frédéric, Jubertie, Sylvain

Journal:

Procedia Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 154 KB

english, 2013

13

[IEEE 2013 First International Symposium on Computing and Networking (CANDAR) - Matsuyama, Japan (2013.12.4-2013.12.6)] 2013 First International Symposium on Computing and Networking - Powerlists in Coq: Programming and Reasoning

Loulergue, Frederic, Niculescu, Virginia, Robillard, Simon

Année:

2013

Langue:

english

Fichier:

PDF, 269 KB

english, 2013

14

[IEEE 2013 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Taipei, Taiwan (2013.12.16-2013.12.18)] 2013 International Conference on Parallel and Distributed Computing, Applications and Technologies - Nested Atomic Sections with Thread Escape: An Operational Semantics

Dabrowski, Frederic, Loulergue, Frederic, Pinsard, Thomas

Année:

2013

Langue:

english

Fichier:

PDF, 648 KB

english, 2013

15

[IEEE 2013 International Conference on High Performance Computing & Simulation (HPCS) - Helsinki, Finland (2013.07.1-2013.07.5)] 2013 International Conference on High Performance Computing & Simulation (HPCS) - Managing arbitrary distributions of arrays in Orléans Skeleton Library

Legaux, Joeffrey, Loulergue, Frederic, Jubertie, Sylvain

Année:

2013

Langue:

english

Fichier:

PDF, 578 KB

english, 2013

16

[IEEE Simulation (HPCS) - Istanbul, Turkey (2011.07.4-2011.07.8)] 2011 International Conference on High Performance Computing & Simulation - Parallel programming and performance predictability with Orléans Skeleton Library

Javed, Noman, Loulergue, Frederic

Année:

2011

Langue:

english

Fichier:

PDF, 580 KB

english, 2011

17

[IEEE 2014 International Conference on High Performance Computing & Simulation (HPCS) - Bologna, Italy (2014.7.21-2014.7.25)] 2014 International Conference on High Performance Computing & Simulation (HPCS) - Development effort and performance trade-off in high-level parallel programming

Legaux, Joeffrey, Loulergue, Frederic, Jubertie, Sylvain

Année:

2014

Langue:

english

Fichier:

PDF, 800 KB

english, 2014

18

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

Gesbert, Louis, Loulergue, Frederic

Année:

2007

Langue:

english

Fichier:

PDF, 299 KB

english, 2007

19

[IEEE 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Wuhan, Hubei, China (2010.12.8-2010.12.11)] 2010 International Conference on Parallel and Distributed Computing, Applications and Technologies - Systematic Development of Correct Bulk Synchronous Parallel Programs

Gesbert, Louis, Hu, Zhenjiang, Loulergue, Frederic, Matsuzaki, Kiminori, Tesson, Julien

Année:

2010

Langue:

english

Fichier:

PDF, 218 KB

english, 2010

20

[IEEE 2010 First International Conference on Networking and Computing - Higashi, Hiroshima, Japan (2010.11.17-2010.11.19)] 2010 First International Conference on Networking and Computing - Functional Parallel Programming with Revised Bulk Synchronous Parallel ML

Bousdira, Wadoud, Gava, Frederic, Gesbert, Louis, Loulergue, Frederic, Petiot, Guillaume

Année:

2010

Langue:

english

Fichier:

PDF, 351 KB

english, 2010

21

A formal semantics of nested atomic sections with thread escape

Dabrowski, Frédéric, Loulergue, Frédéric, Pinsard, Thomas

Journal:

Computer Languages, Systems & Structures

Année:

2015

Langue:

english

Fichier:

PDF, 1.87 MB

english, 2015

22

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Formal derivation and extraction of a parallel program for the all nearest smaller values problem

Loulergue, Frédéric, Robillard, Simon, Tesson, Julien, Legaux, Joeffrey, Hu, Zhenjiang

Année:

2014

Langue:

english

Fichier:

PDF, 176 KB

english, 2014

23

[ACM Press the 29th Annual ACM Symposium - Gyeongju, Republic of Korea (2014.03.24-2014.03.28)] Proceedings of the 29th Annual ACM Symposium on Applied Computing - SAC '14 - Nested atomic sections with thread escape

Dabrowski, Frédéric, Loulergue, Frédéric, Pinsard, Thomas

Année:

2014

Langue:

english

Fichier:

PDF, 769 KB

english, 2014

24

[ACM Press the fifth international workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the fifth international workshop on High-level parallel programming and applications - HLPP '11 - Type system for a safe execution of parallel programs in BSML

Gava, Frédéric, Gesbert, Louis, Loulergue, Frédéric

Année:

2011

Langue:

english

Fichier:

PDF, 567 KB

english, 2011

25

[ACM Press the fifth international workshop - Tokyo, Japan (2011.09.18-2011.09.18)] Proceedings of the fifth international workshop on High-level parallel programming and applications - HLPP '11 - An efficient skew-insensitive algorithm for join processing on grid architectures

Al Hajj Hassan, Mohamad, Bamha, Mostafa, Loulergue, Frédéric

Année:

2011

Langue:

english

Fichier:

PDF, 531 KB

english, 2011

26

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Nested atomic sections with thread escape

Dabrowski, Frédéric, Loulergue, Frédéric, Pinsard, Thomas

Année:

2015

Langue:

english

Fichier:

PDF, 837 KB

english, 2015

27

[IEEE 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Romania (2014.9.22-2014.9.25)] 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Implementing Powerlists with Bulk Synchronous Parallel ML

Loulergue, Frederic, Niculescu, Virginia, Tesson, Julien

Année:

2014

Langue:

english

Fichier:

PDF, 212 KB

english, 2014

28

Calculating Parallel Programs in Coq Using List Homomorphisms

Loulergue, Frédéric, Bousdira, Wadoud, Tesson, Julien

Journal:

International Journal of Parallel Programming

Année:

2017

Langue:

english

Fichier:

PDF, 753 KB

english, 2017

29

[IEEE Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Adelaide, SA, Australia (2007.12.3-2007.12.6)] Eighth International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT 2007) - Semantics of an Exception Mechanism for Bulk Synchronous Parallel ML

Gesbert, Louis, Loulergue, Frederic

Année:

2007

Langue:

english

Fichier:

PDF, 299 KB

english, 2007

30

[IEEE 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Raleigh, NC, USA (2016.10.2-2016.10.3)] 2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM) - Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs

Blanchard, Allan, Kosmatov, Nikolai, Lemerre, Matthieu, Loulergue, Frederic

Année:

2016

Langue:

english

Fichier:

PDF, 173 KB

english, 2016

31

Imperative BSPlib-style Communications in BSML

Loulergue, Frédéric

Journal:

Procedia Computer Science

Année:

2017

Langue:

english

Fichier:

PDF, 384 KB

english, 2017

32

Replicated Synchronization for Imperative BSP Programs

Jakobsson, Arvid, Dabrowski, Frédéric, Bousdira, Wadoud, Loulergue, Frédéric, Hains, Gaetan

Journal:

Procedia Computer Science

Année:

2017

Langue:

english

Fichier:

PDF, 480 KB

english, 2017

33

[IEEE 2017 International Conference on High Performance Computing & Simulation (HPCS) - Genoa, Italy (2017.7.17-2017.7.21)] 2017 International Conference on High Performance Computing & Simulation (HPCS) - Formalization of a Big Graph API in Coq

Philippe, Jolan, Bousdira, Wadoud, Loulergue, Frederic

Année:

2017

Langue:

english

Fichier:

PDF, 99 KB

english, 2017

34

[IEEE 2017 International Conference on High Performance Computing & Simulation (HPCS) - Genoa, Italy (2017.7.17-2017.7.21)] 2017 International Conference on High Performance Computing & Simulation (HPCS) - Towards a Verified Parallel Implementation of Frequent Itemset Mining

Whitney, Christopher D., Loulergue, Frederic

Année:

2017

Langue:

english

Fichier:

PDF, 161 KB

english, 2017

35

A CHR-Based Solver for Generation of Executions under Weak Memory Models

Blanchard, Allan, Kosmatov, Nikolai, Loulergue, Frédéric

Journal:

Computer Languages, Systems & Structures

Année:

2018

Langue:

english

Fichier:

PDF, 1.44 MB

english, 2018

36

[IEEE 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Taipei, Taiwan (2017.12.18-2017.12.20)] 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - A Java Framework for High Level Parallel Programming Using Powerlists

Niculescu, Virginia, Loulergue, Frederic, Bufnea, Darius, Sterca, Adrian

Année:

2017

Langue:

english

Fichier:

PDF, 333 KB

english, 2017

37

[IEEE 2017 Fifth International Symposium on Computing and Networking (CANDAR) - Aomori, Japan (2017.11.19-2017.11.22)] 2017 Fifth International Symposium on Computing and Networking (CANDAR) - A Verified Accumulate Algorithmic Skeleton

Loulergue, Frederic

Année:

2017

Langue:

english

Fichier:

PDF, 233 KB

english, 2017

38

[IEEE 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Taipei (2017.12.18-2017.12.20)] 2017 18th International Conference on Parallel and Distributed Computing, Applications and Technologies (PDCAT) - Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML

Loulergue, Frederic

Année:

2017

Langue:

english

Fichier:

PDF, 209 KB

english, 2017

39

Literature Review and Case Histories of Histoplasma capsulatum var. duboisii Infections in HIV-infected Patients

Loulergue, Pierre, Bastides, Frédéric, Baudouin, Véronique, Chandenier, Jacques, Mariani-Kurkdjian, Patricia, Dupont, Bertrand, Viard, Jean-Paul, Dromer, Françoise, Lortholary, Olivier

Journal:

Emerging Infectious Diseases

Année:

2007

Langue:

english

Fichier:

PDF, 167 KB

english, 2007

40

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - A Lesson on Verification of IoT Software with Frama-C

Blanchard, Allan, Kosmatov, Nikolai, Loulergue, Frederic

Année:

2018

Langue:

english

Fichier:

PDF, 401 KB

english, 2018

41

[IEEE 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Guangzhou, China (2018.10.8-2018.10.12)] 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Verified Programs for Frequent Itemset Mining

Loulergue, Frederic, Whitney, Christopher

Année:

2018

Langue:

english

Fichier:

PDF, 205 KB

english, 2018

42

[IEEE 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Guangzhou, China (2018.10.8-2018.10.12)] 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) - Interactive Bulk Synchronous Parallel Functional Programming in a Browser

Tesson, Julien, Loulergue, Frederic

Année:

2018

Langue:

english

Fichier:

PDF, 974 KB

english, 2018

43

Transforming powerlist-based divide-and-conquer programs for an improved execution model

Niculescu, Virginia, Loulergue, Frédéric

Journal:

The Journal of Supercomputing

Année:

2019

Fichier:

PDF, 1.74 MB

2019

44

Skew Quadrupole Effect of Laser Plasma Electron Beam Transport

Oumbarek Espinos, Driss, Ghaith, Amin, André, Thomas, Kitégi, Charles, Sebdaoui, Mourad, Loulergue, Alexandre, Marteau, Fabrice, Blache, Frédéric, Valléau, Mathieu, Labat, Marie, Lestrade, Alain, Rous

Journal:

Applied Sciences

Année:

2019

Fichier:

PDF, 4.38 MB

2019

45

[IEEE 2018 International Conference on High Performance Computing & Simulation (HPCS) - Orleans (2018.7.16-2018.7.20)] 2018 International Conference on High Performance Computing & Simulation (HPCS) - Strong Security Guarantees: From Alloy to Coq (Research Poster)

Souaf, Salwa, Loulergue, Frederic

Année:

2018

Langue:

english

Fichier:

PDF, 78 KB

english, 2018

46

[IEEE 2019 International Conference on High Performance Computing & Simulation (HPCS) - Dublin, Ireland (2019.7.15-2019.7.19)] 2019 International Conference on High Performance Computing & Simulation (HPCS) - PySke: Algorithmic Skeletons for Python

Philippe, Jolan, Loulergue, Frederic

Année:

2019

Fichier:

PDF, 129 KB

2019

47

[IEEE 2019 International Conference on High Performance Computing & Simulation (HPCS) - Dublin, Ireland (2019.7.15-2019.7.19)] 2019 International Conference on High Performance Computing & Simulation (HPCS) - Towards Automatically Optimizing PySke Programs

Philippe, Jolan, Loulergue, Frederic

Année:

2019

Fichier:

PDF, 81 KB

2019